Algebraic modal correspondence: Sahlqvist and beyond
نویسندگان
چکیده
This paper provides a bridge in the gap between the model-theoretic and the algebraic side of modal correspondence theory. We give a new, algebraic proof of the classical Sahlqvist correspondence theorem, as well as a new, algebraic proof of the analogous result for the atomic inductive formulas, which form a proper extension of the Sahlqvist class.
منابع مشابه
Algorithmic Correspondence and Canonicity for Possibility Semantics (Abstract)
Unified Correspondence. Correspondence and completeness theory have a long history in modal logic, and they are referred to as the “three pillars of wisdom supporting the edifice of modal logic” [22, page 331] together with duality theory. Dating back to [20,21], the Sahlqvist theorem gives a syntactic definition of a class of modal formulas, the Sahlqvist class, each member of which defines an...
متن کاملOrder theoretic Correspondence theory for Intuitionistic mu-calculus
Sahlqvist correspondence theory [3], [4] is one of the most important and useful results of classical modal logic. It gives a syntactic identification of a class of modal formulas whose associated normal modal logics are strongly complete with respect to elementary (i.e. first-order definable) classes of frames. Every Sahlqvist formula is both canonical and corresponds to some elementary frame ...
متن کاملAlgorithmic correspondence for intuitionistic modal mu-calculus, Part 2
Sahlqvist-style correspondence results remain a perennial theme and an active topic of research within modal logic. Recently, there has been interest in extending the classical results in this area to the modal mu-calculus [7]. For instance, in [8] van Benthem, Bezhanishvili and Hodkinson define a class of Sahlqvist formulas for the modal mu-calculus, all of which have frame correspondents in f...
متن کاملA Sahlqvist theorem for distributive modal logic
In this paper we consider distributive modal logic, a setting in which we may add modalities, such as classical types of modalities as well as weak forms of negation, to the fragment of classical propositional logic given by conjunction, disjunction, true, and false. For these logics we define both algebraic semantics, in the form of distributive modal algebras, and relational semantics, in the...
متن کاملAbstract: Algebraic semantics for some hybrid logics, and a new Sahlqvist Theorem
Algebraic semantics for some hybrid logics, and a new Sahlqvist Theorem Willem Conradie and Claudette Robinson Hybrid logics extend basic modal logic with special variables, called nominals, which are evaluated to singletons in Kripke models, thus acting as names for states in models. These logics typically also include other operators which utilize the nominals and in so doing take us well bey...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- J. Log. Algebr. Meth. Program.
دوره 91 شماره
صفحات -
تاریخ انتشار 2017